Μ operator - PDFSEARCH.IO - Document Search Engine

Μ operator
Results: 274

#	Item
231	Amos Ron Lectures Notes, Math887 05may03 Add to Reading List Source URL: pages.cs.wisc.edu Language: English - Date: 2003-05-05 15:56:18 Hilbert space Linear algebra Mathematics Spectral theory Generalized functions Μ operator Linear temporal logic Operator theory Physics Mathematical analysis
232	Amos Ron Lectures Notes, Math887 03may03 Add to Reading List Source URL: pages.cs.wisc.edu Language: English - Date: 2003-05-05 15:46:01 Spectral theory of ordinary differential equations Operator theory Μ operator Mathematical analysis
233	Inductive Classes of Finite Models Steven Lindell Haverford College Add to Reading List Source URL: www.haverford.edu Language: English - Date: 2012-03-28 11:42:05 Model theory Constructible universe Function Compactness theorem Μ operator Linear temporal logic Mathematics Mathematical logic Logic
234	The Warshall algorithm and Dickson’s lemma: Two examples of realistic program extraction Ulrich Berger Department of Computer Science, University of Wales Swansea Helmut Schwichtenberg and Monika Seisenberger Add to Reading List Source URL: www-compsci.swan.ac.uk Language: English - Date: 2006-06-30 15:40:52 Mathematical analysis Μ operator Spectral theory of ordinary differential equations Mathematics Symbol Function
235	Equational Abstractions Jos´e Meseguer1 , Miguel Palomino2 , and Narciso Mart´ı-Oliet2 1 Add to Reading List Source URL: maude.cs.uiuc.edu Language: English - Date: 2007-07-04 15:14:58 Temporal logic Model theory Symbol Unification Modal logic Μ operator Normal distribution Logic Mathematical logic Linear temporal logic
236	Action Emulation Between Canonical Models Floor Sietsma Jan van Eijck May 23, 2013 Add to Reading List Source URL: homepages.cwi.nl Language: English - Date: 2013-12-13 10:52:48 Mathematics Kripke semantics Interpretation Bisimulation Structure Constructible universe Modal logic Μ operator Linear temporal logic Logic Model theory Mathematical logic
237	Verifying Epistemic Protocols under Common Knowledge Yanjing Wang Lakshmanan Kuppusamy Add to Reading List Source URL: homepages.cwi.nl Language: English - Date: 2010-11-17 08:56:05 Linear temporal logic Μ operator Model theory Operator theory Mathematics Function Mathematical logic
238	Notes on specifying systems in EST Robert Meolic, Tatjana Kapus Faculty of Electrical Engineering and Computer Science University of Maribor Smetanova ulica 17, SI-2000 Maribor, Slovenia {meolic,kapus}@uni-mb.si Add to Reading List Source URL: lms.uni-mb.si Language: English - Date: 2006-10-10 04:27:39 M2 Communicating sequential processes Money Money supply M1 Process calculus Calculus of communicating systems Μ operator Process calculi Economics Macroeconomics
239	The Space of Binary Theta Series Ernst Kani Add to Reading List Source URL: www.mast.queensu.ca Language: English - Date: 2011-07-15 10:16:38 Representation theory of Lie groups Dirichlet character Modular form Hecke character Hecke operator Character theory Weight Spectral theory of ordinary differential equations Μ operator Abstract algebra Mathematical analysis Mathematics
240	MARGARITA MATHEMATICA EN MEMORIA DE ´ JAVIER (CHICHO) GUADALUPE HERNANDEZ ´ Add to Reading List Source URL: www.emis.ams.org Language: English - Date: 2002-05-31 14:14:30 Philosophy of physics Linear temporal logic Quantum mechanics Μ operator Operator theory Physics Operator